Distributed ORC
نویسنده
چکیده
This report describes a distributed implementation of an interpreter for the computation orchestration language ORC. While ORC includes primitives for distributed computation in the form of “sites”, these have limitations and it is difficult to convert a non-distributed ORC program into a distributed one. I therefore introduce a new syntax for annotating distributable expressions in an existing ORC program, and modify the existing ORC interpreter to transparently distribute such expressions. The result is a language which makes it very easy to write correct distributed programs for some problems.
منابع مشابه
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc, including a rewriting logic semantics developed by the authors. Orc also has a fully fledged implementation in Java with functional programming features. However, as with descriptions of most distributed languages, there exis...
متن کاملOrchestration in Orc: A Deterministic Distributed Programming Model
Orc is a new model of distributed programming which provides a strong theoretical foundation for internet computing based on compositions of web-services. Orc combines some of the power and flexibility of process algebra with the simplicity and determinism of synchronous programming models. We present an operational semantics of Orc and prove some laws analogous to those of Kleene algebra. We v...
متن کاملOrc-X: Combining Orchestrations and XQuery
In designing a language for distributed computing, the handling of data and distribution can be viewed as largely orthogonal concerns, as long as the data model supports the communication requirements of the distribution model. This view contrasts strongly with approaches based on distributed objects, which typically enforce a tight coupling of state and behavior. We have previously presented O...
متن کاملTranslating Orc Features into Petri Nets and the Join Calculus
Cook and Misra’s Orc is an elegant language for orchestrating distributed services, able to cover e.g. van der Aalst’s workflow patterns. We aim to understand the key novel features of Orc by comparing it with variations of Petri nets. The comparison shows that Orc hides powerful mechanisms for name handling (creation and passing) and for atomic distributed termination. Petri nets with static t...
متن کاملFrom Orc Models To Distributed Grid Java Code
We present O2J, a Java library that allows implementation of Orc programs on distributed architectures including grids and clusters/networks of workstations. With minimal programming effort the grid programmer may implement Orc programs, as he/she is not required to write any low level code relating to distributed orchestration of the computation but only that required to implement Orc expressi...
متن کامل